How to Complete an Interactive Configuration Process?

نویسندگان

  • Mikolás Janota
  • Goetz Botterweck
  • Radu Grigore
  • Joao Marques-Silva
چکیده

When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Description Theory and Approach about Space Syntax Methodology in Urban Design Process

Nowadays space is considered to be a net of connections between different areas. The questions how to delineate its character and how it is possible to objectively compare two spaces is a matter under consideration. This was the reason for creating new theories about the structure of space. Space syntax analysis (SSA) or simply Space Syntax defines a number of theories and research areas devo...

متن کامل

The Mathematical Method and Thermodynamic Approaches to Design Multi-Component Refrigeration used in Cryogenic Process Part II: Optimal Arrangement

  A refrigeration cycle is a chain of various pieces of equipment including compressors, condensers, evaporators, and expansion devices each of which takes on a particular thermodynamic process duty in the cycle that eventually results in the production of the required refrigeration. The results of optimized mixed refrigerant cycles (MRCs) in Part I show that the configuration of MRC is an eff...

متن کامل

Developing a Priority-Based Decision Making Method to Evaluate Geometric Configuration of Urban Interchanges

The present article involves in evaluation and engineering judgment of various geometric configurations for highway interchanges by considering substantial parameters over the discretion process. The geometric, economical and architectural criteria as the fundamental indicators are divided into related sub-indicators and the total combinations of such sub-elements from the general criterion for...

متن کامل

Interactive Art Analysis Based on Baudrillard’s Hyper reality Theory, a Case Study of Digital Interactive installation

The contemporary philosopher Jean Baudrillard, one of the postmodernism theorists, considers representation in the contemporary world as a factor in the disappearance of reality. In his view, the main feature of new arts is not the expression of artistic beauty, but communication with the audience and expression of the artist’s ideas. In interactive art, the presence and role of the audience in...

متن کامل

Aiding Interactive Configuration and Planning: A Constraint and Evolutionary Approach

This communication aims to propose a two step interactive aiding system dealing with product configuration and production planning. The first step assists interactively and simultaneously the configuration of a product and the planning of its production process. Then a second step complete the two previous tasks thanks to a constrained multi-criteria optimisation that proposes to the user a set...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010